Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency

نویسندگان

  • Sudip Roy
  • Lucja Kot
  • Nate Foster
  • Johannes Gehrke
  • Hossein Hojjat
  • Christoph Koch
چکیده

Honors and Awards • Yahoo! Graduate Teaching Award, 2013 • Runner-up at Cornell Startup Weekend, 2012 • SIGMOD 2011 Best Paper Award for “Entangled Queries: Enabling Declarative Datadriven Coordination” • Certificate of Achievement for outstanding contributions as a Teaching Assistant, Fall 2010 • Autodesk Fellowship, Cornell University, 2009-2010 • Bigyan Sinha Memorial Award, 2009 • O. P. Jindal Engineering and Management Scholarship, 2008-2009 • IIT Kharagpur Alumni (California Chapter) Award & Class of 1970 Alumni (US) Association Prize, 2007 • Rajendranath Das Memorial Award, 2006 • National Merit Scholarship (NTSE, India), 2003-2009

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Market Adaptive Control Function Optimization in Continuous Cover Forest Management

Economically optimal management of a continuous cover forest is considered here. Initially, there is a large number of trees of different sizes and the forest may contain several species. We want to optimize the harvest decisions over time, using continuous cover forestry, which is denoted by CCF. We maximize our objective function, the expected present value, with consideration of stochastic p...

متن کامل

Consistency, Availability, and Convergence

We examine the limits of consistency in highly available and fault-tolerant distributed storage systems. We introduce a new property—convergence—to explore the these limits in a useful manner. Like consistency and availability, convergence formalizes a fundamental requirement of a storage system: writes by one correct node must eventually become observable to other connected correct nodes. Usin...

متن کامل

An ANFIS-based Approach for Predicting the Manning Roughness Coefficient in Alluvial Channels at the Bank-full Stage

An intelligent method based on adaptive neuro-fuzzy inference system (ANFIS) for identifying Manning’s roughness coefficients in modeling of alluvial river is presented. The procedure for selecting values of Manning n is subjective and requires judgment and skill which are developed primarily through experience. During practical applications, researchers often find that a correct choice of the ...

متن کامل

Determining Effective Factors on Forest Fire Using the Compound of Multivariate Adaptive Regression Spline and Genetic Algorithm, a Case Study: Golestan, Iran

Determining Effective Factors on Forest Fire Using the Compound of Multivariate Adaptive Regression Spline and Genetic Algorithm, a Case Study: Golestan, Iran    Pahlavani, P., Assistant professor at School of Surveying and Geospatial Engineering, College of Engineering, University of Tehran Raei, A., PhD Candidate of GIS at School of Surveying and Geospatial Engineering, College of Engineeri...

متن کامل

Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models

A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,AG95,APP99]. Such a model must specify the behavior of concurrent (conditional) reads and writes to the same memory locations. We present a simple, general framework for the specification of memory models based on an abs...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1403.2307  شماره 

صفحات  -

تاریخ انتشار 2014